﻿/*============================================
 * 类名 :ConstNote
 * 描述 :
 *   
 * 创建时间: 2009-11-3 16:55:39
 *============================================*/
using System;
using System.Collections.Generic;

using System.Text;

namespace 命题证明
{
    /// <summary>表示常量的节点</summary>
    //  [Serializable]
    class ConstNode : Node
    {
        /// <summary>这个常量节点存储的真假值</summary>
        public bool Value { get; set; }
        public ConstNode( bool value )
        {
            this.Value = value;
        }
    }

}
